COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(FILECREATED "23-MAY-75 01:40:23" CON2.14 18331  
C00032 ENDMK
C⊗;
(FILECREATED "23-MAY-75 01:40:23" CON2.;14 18331  

     changes to:  FACETS MAP-STRUCTURE REVERSE-ORDERED-PAIR COMPOSE ACTIVE-D-R CONCEPTS COMPOSE-D-R

     previous date: "19-MAY-75 21:09:03" CON2.;11)


  (LISPXPRINT (QUOTE CON2COMS)
	      T T)
  [RPAQQ CON2COMS ((FNS * CONCEPTS)
	  CONCEPTS FACETS STRAT [COMS * (LIST (CONS (QUOTE IFPROP)
						    (CONS (LIST (QUOTE FROM-FILE))
							  CONCEPTS]
	  (P (INIT-C]
(DEFINEQ

(ACTIVE
  [LAMBDA (P A)
    (SELECTQ P
	     (UP (QUOTE ANYB))
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE ACTIVE)
				       T)
			      GTEMP])

(ANYB
  [LAMBDA (P ETYPE)
    (SELECTQ P
	     (UP NIL)
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE ANYB)
				       T)
			      GTEMP])

(ANYB-ANYP
  [LAMBDA (P ETYPE)
    (SELECTQ P
	     [C-CHECK2 (PROGN (ADD-CANDS (LIST (LIST (ADD1 CS-INT)
						     (QUOTE C-RESTRUC)
						     (LIST CS-B CS-P]
	     [C-FILLIN1 (APPEND (MAPCONC (APPLY* CS-B (QUOTE ANAS))
					 (FUNCTION (LAMBDA (ANA)
					     (ERSETQ (APPLY* (CADR ANA)
							     (APPLY* (CAR ANA)
								     (QUOTE CS-P]
	     (C-SUGGESTS (LIST))
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE ANYB-ANYP)
				       T)
			      GTEMP])

(ANYB-EXS
  [LAMBDA (P ETYPE)
    (SELECTQ P
	     [C-CHECK1 (PROGN (MAPC (CDR GEXISTING)
				    (FUNCTION (LAMBDA (GEX)
					(COND
					  [(AND (SATISFIES GEX (QUOTE C-DEFNS))
						(SATISFIES GEX (QUOTE C-INTUS]
					  ((GTRANSFER GEX (QUOTE -NOT-BDY]
	     (C-FILLIN1 (APPEND (INSTAN-S (APPLY* CS-B (QUOTE SPECS))
					  FILL-TYPE)
				(INSTAN-D (APPLY* CS-B (QUOTE DEFNS))
					  FILL-TYPE)
				(INSTAN-I (APPLY* CS-B (QUOTE INTUS))
					  FILL-TYPE)))
	     [C-FILLIN2 (APPEND (AND (SETQ A (COPY (SOME-MEMBER (QUOTE C-ALGS)
								GEXISTING)))
				     NIL)
				(PROG1 NIL (SORT (CDDR GEXISTING)
						 (QUOTE COUNT))
				       [AND ORIG-EMP GEXISTING
					    (MAPC (APPLY* CS-B (QUOTE OPS))
						  (FUNCTION (LAMBDA (B1)
						      (COND
							((APPLY* B1 (QUOTE EXS)))
							((NCONC1 (CADR (SFIND (EXPR-IN B1)
									      (QUOTE EXS)))
								 (NCONC1 (COMMENT EXS
									    OF ELES OF A SUBDOMAIN OF YOURS GUARANTEED
									    ON)
									 CS-B]
				       (ADD-CANDS (LIST (LIST (IQUOTIENT (ITIMES CS-INT 9)
									 10)
							      (QUOTE CHECK)
							      (LIST CS-B (QUOTE EXS]
	     [C-SUGGESTS (APPEND [MAPCONC PAST (FUNCTION (LAMBDA (PE)
					      (COND
						((EQ (CADADR PE)
						     (QUOTE EXS))
						  (LIST (LIST (COND
								((NUMBERP (CADDR PE)))
								(400))
							      (QUOTE RE-JUDGE)
							      (CADR PE]
				 (MAPCONC CONCEPTS (FUNCTION (LAMBDA (C5)
					      (AND [NULL (CAR (ERSETQ (APPLY* C5 (QUOTE EXS]
						   (LIST (LIST [FIX (DOTPROD (LIST .7 .1 .1 .1)
									     (APPLY* C5 (QUOTE WORTH]
							       (QUOTE FILLIN)
							       (LIST C5 (QUOTE EXS]
	     [REPR (ANY-OF (AND (EQ ETYPE (QUOTE INIT))
				(LIST (QUOTE CLASS]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE ANYB-EXS)
				       T)
			      GTEMP])

(COMPOSE
  [LAMBDA (P A B A1 A2 B1)
    (SELECTQ P
	     (UP (QUOTE OPERATION))
	     [C-D-R (COND
		      ((AND (MATCH A WITH 'ANY-DOMAIN)
			    (MATCH B WITH 'ANY-RANGE))
			(LIST (LIST (QUOTE ORDERED-PAIR)
				    (QUOTE OPERATION)
				    (QUOTE OPERATION))
			      (QUOTE OPERATION)))
		      ((AND [MATCH A WITH ('ORDERED-PAIR A1←&@[LAMBDA (Z)
							   (ISA Z (QUOTE ACTIVE]
							 A2←&@(LAMBDA (Z)
							   (ISA Z (QUOTE ACTIVE]
			    (MATCH B WITH 'ANY-RANGE))
			[COND
			  ((NEQ A1 (QUOTE OPERATION))
			    (ADD-CANDS (LIST (LIST (AVG2 CS-INT INTHRESH)
						   (QUOTE CHECK)
						   (QUOTE CS-B)
						   (QUOTE DEFNS)
						   (LIST (QUOTE COMMENT)
							 (QUOTE SATISFY)
							 A1
							 (QUOTE DEFNS]
			[COND
			  ((NEQ A2 (QUOTE OPERATION))
			    (ADD-CANDS (LIST (LIST (AVG2 CS-INT INTHRESH)
						   (QUOTE CHECK)
						   (QUOTE CS-B)
						   (QUOTE DEFNS)
						   (LIST (QUOTE COMMENT)
							 (QUOTE SATISFY)
							 A2
							 (QUOTE DEFNS]
			(LIST A (QUOTE OPERATION)))
		      ([AND (MATCH A WITH ('ANY-DOMAIN))
			    (MATCH B WITH B1←&@(LAMBDA (Z)
					    (AND (ISA Z (QUOTE ACTIVE))
						 (SETQ A2 (APPLY* B1 (QUOTE IN-RANGE]
			(LIST (LIST (QUOTE ORDERED-PAIR)
				    (QUOTE OPERATION)
				    (LIST (QUOTE SOME-MEMBER)
					  (LIST (QUOTE QUOTE)
						(QUOTE C-ALGS))
					  (LIST (QUOTE QUOTE)
						A2)))
			      B))
		      ([AND [MATCH A WITH ('ORDERED-PAIR A1←&@[LAMBDA (Z)
							   (ISA Z (QUOTE ACTIVE]
							 A2←&@(LAMBDA (Z)
							   (ISA Z (QUOTE ACTIVE]
			    (MATCH B WITH B1←&@(LAMBDA (Z)
					    (ISA Z (QUOTE ACTIVE]
			(SETQ GTEMP1 (APPLY* B1 (QUOTE IN-RANGE)))
			(COND
			  ((IS-ONE-OF A2 GTEMP1)
			    (LIST A B))
			  [(SETQ GTEMP2 (ONE-ISA GTEMP1 A2))
			    (LIST A (LIST (QUOTE ALL-OF)
					  (LIST (QUOTE QUOTE)
						GTEMP2]
			  ((PRIN1 "COMPOSE, PART C-D-R, ISNT READDY YET TO HANDLE ")
			    (PRINT A)
			    (PRINT B)
			    NIL)
			  (T NIL]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE COMPOSE)
				       T)
			      GTEMP])

(COMPOSE-D-R
  [LAMBDA (P A B A1 A2 B1 B2)
    (SELECTQ P
	     (UP (CLOSESTUP (APPLY* (QUOTE COMPOSE)
				    (QUOTE UP))
			    (QUOTE D-R)))
	     [C-FILLIN1 (APPEND [AND [MATCH A WITH ((QUOTE ORDERED-PAIR)
						    A1←&@(LAMBDA (Z)
						      (ISA Z (QUOTE ACTIVE))
						      A2←&@(LAMBDA (Z)
							(ISA Z (QUOTE ACTIVE]
				     (SETQ C2 (APPLY* A2 (QUOTE C-D-R)
						      [RANGE-PART-OF (SETQ C1 (APPLY* A1 (QUOTE C-D-R)
										      (QUOTE ANY-DOMAIN)
										      (QUOTE ANY-RANGE]
						      B))
				     (LIST (LIST (QUOTE AND)
						 (LIST (QUOTE MATCH)
						       (QUOTE A)
						       (QUOTE WITH]
				(AND (EQ A (QUOTE ANY-DOMAIN))
				     (SETQ A1 (ACTIVE (QUOTE EXS)))
				     [SOME A1 (FUNCTION (LAMBDA (E1)
					       (AND (GETHASH E1 HCON)
						    (APPLY* E1 (QUOTE C-D-R)
							    (QUOTE ANY-DOMAIN)
							    B)
						    (SETQ A2 E1]
				     (LIST (SOME-MEMBER (QUOTE C-ALGS)
							A1)
					   A2))
				(AND (EQ B (QUOTE ANY-RANGE))
				     (EQ A (QUOTE ANY-DOMAIN))
				     (LIST [LIST [SETQ A1 (SOME-MEMBER (QUOTE C-ALGS)
								       (OPERATION (QUOTE EXS]
						 (SETQ A2 (SOME-MEMBER (QUOTE C-ALGS)
								       (OPERATION (QUOTE EXS]
					   (APPLY* A2 (QUOTE C-D-R)
						   (CADR (APPLY* A1 (QUOTE C-D-R)
								 (QUOTE ANY-DOMAIN)
								 (QUOTE ANY-RANGE)))
						   (QUOTE ANY-RANGE]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE COMPOSE-D-R)
				       T)
			      GTEMP])

(CONVERT
  [LAMBDA (P X R1 R2)
    (SELECTQ P
	     [C-ALGS (COND
		       ((EQ R1 R2)
			 X)
		       (T (PRIN1 " CAN'T DO CONVERSION YET: ")
			  (PRIN1 X)
			  (PRINT R1)
			  (PRINT R2)
			  (TERPRI]
	     NIL])

(DELETION
  [LAMBDA (P A)
    (SELECTQ P
	     (UP (QUOTE OPERATION))
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE DELETION)
				       T)
			      GTEMP])

(INSERTION
  [LAMBDA (P A B E S S2)
    (SELECTQ P
	     (UP (QUOTE OPERATION))
	     [C-D-R (ANY-OF [AND (MATCH A WITH (E←&
						 S←&))
				 (ISA S (QUOTE STRUCTURE))
				 (COND
				   [(EQ B (QUOTE ANY-RANGE))
				     (CADR (DREVERSE (ALL-UP S]
				   ((CAR (SAME-TYPE S B (QUOTE STRUCTURE]
			    [AND (EQ A (QUOTE ANY-DOMAIN))
				 (COND
				   ((EQ B (QUOTE ANY-RANGE))
				     (LIST [LIST (SOME-MEMBER (QUOTE C-ALGS)
							      (OBJECT (QUOTE EXS)))
						 (SETQ B (SOME-MEMBER (QUOTE C-ALGS)
								      (STRUCTURE (QUOTE EXS]
					   B))
				   ((MATCH B WITH (E←&
						    S←&))
				     (LIST S))
				   ((LIST (SOME-MEMBER (QUOTE C-ALGS)
						       (OBJECT (QUOTE EXS)))
					  B]
			    (AND (MATCH A WITH (S←&))
				 (ISA S (QUOTE STRUCTURE))
				 (COND
				   ((EQ B (QUOTE ANY-RANGE))
				     (LIST (MEMBER-OF (QUOTE C-ALGS)
						      S
						      (QUOTE MOST-GENERAL))
					   S))
				   ((MATCH B WITH (E←&
						    S2←&))
				     (MEMB (MEMBER-OF (QUOTE C-ALGS)
						      S2
						      (QUOTE MOST-GENERAL))
					   (ALL-UP E)))
				   ((MATCH B WITH (S2←&))
				     (SETQ E (MORE-SPECIFIC S S2))
				     (LIST (MEMBER-OF (QUOTE C-ALGS)
						      E
						      (QUOTE MOST-GENERAL))
					   E]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE INSERTION)
				       T)
			      GTEMP])

(MAP-STRUCTURE
  [LAMBDA (P A B F S)
    (SELECTQ P
	     (UP (QUOTE OPERATION))
	     [C-D-R (COND
		      ((MATCH (LIST A B) WITH ((QUOTE ANY-DOMAIN)
					       (QUOTE ANY-RANGE)))
			(LIST (LIST (QUOTE ORDERED-PAIR)
				    (QUOTE OPERATION)
				    (QUOTE STRUCTURE))
			      (QUOTE STRUCTURE)))
		      ([MATCH (LIST A B) WITH ((QUOTE ANY-DOMAIN)
					       S2←&@(LAMBDA (Z)
						 (ISA Z (QUOTE STRUCTURE]
			[SETQ F (SOME-MEMBER (QUOTE C-ALGS)
					     (APPLY* S2 (QUOTE RANGE-OF]
			(SETQ GTEMP1 (APPLY* F (QUOTE C-D-R)
					     (QUOTE ANY-DOMAIN)
					     S2))
			(SETQ S (CAR GTEMP1))
			(LIST (LIST (QUOTE ORDERED-PAIR)
				    F S)
			      B))
		      ([MATCH (LIST A B) WITH ((QUOTE ANY-DOMAIN)
					       F←&@(LAMBDA (Z)
						 (ISA Z (QUOTE ACTIVE]
			(SETQ GTEMP1 (APPLY* F (QUOTE C-D-R)
					     (QUOTE ANY-DOMAIN)
					     (QUOTE ANY-RANGE)))
			(SETQ S (CAR GTEMP1))
			(SETQ S2 (CADR GTEMP1))
			(LIST (LIST (QUOTE ORDERED-PAIR)
				    F S)
			      S2))
		      ([MATCH (LIST A B) WITH ([(QUOTE ORDERED-PAIR)
						F←&@[LAMBDA (Z)
						  (ISA Z (QUOTE ACTIVE]
						S←&@(LAMBDA (Z)
						  (ISA Z (QUOTE STRUCTURE]
					       S2←&@(LAMBDA (Z)
						 (AND (ISA Z (QUOTE STRUCTURE))
						      (SETQ GTEMP1 (APPLY* F (QUOTE C-D-R)
									   S Z]
			(LIST A (CADR GTEMP1]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE MAP-STRUCTURE)
				       T)
			      GTEMP])

(NON-MEMBER
  [LAMBDA (P A)
    (SELECTQ P
	     (C-INVERT (RPLACA (EVAL A)
			       (QUOTE SOME-MEMBER)))
	     (C-ALGS (ANY-OF (COPY A)
			     (QUOTE GENSYM001)))
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE NON-MEMBER)
				       T)
			      GTEMP])

(OBJECT
  [LAMBDA (P ETYPE)
    (SELECTQ P
	     (UP (QUOTE ANYB))
	     [C-INT (IPLUS (CMATCH-AND (LIST (QUOTE SUBPARTS)
					     CS-B ←←SP)
				       (LIST ←P
					     $$SP)
				       (IPLUS 500 (IQUO (APPLY* P (QUOTE C-INT))
							2]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE OBJECT)
				       T)
			      GTEMP])

(OPERATION
  [LAMBDA (P A)
    (SELECTQ P
	     (UP (QUOTE ACTIVE))
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE OPERATION)
				       T)
			      GTEMP])

(RELATION
  [LAMBDA (P A)
    (SELECTQ P
	     (UP (QUOTE ACTIVE))
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE RELATION)
				       T)
			      GTEMP])

(REVERSE-ORDERED-PAIR
  [LAMBDA (P A B A1 A2 B1 B2)
    (SELECTQ P
	     (UP (QUOTE OPERATION))
	     [C-D-R (COND
		      ((MATCH (LIST A B) WITH ((QUOTE ANY-DOMAIN)
					       (QUOTE ANY-RANGE)))
			(LIST (QUOTE ORDERED-PAIR)
			      (QUOTE ORDERED-PAIR)))
		      ((MATCH (LIST A B) WITH (((QUOTE ORDERED-PAIR)
						A1←&
						A2←&)
					       (QUOTE ANY-RANGE)))
			(SETQ B1 (LIST (QUOTE ORDERED-PAIR)
				       A2 A1))
			(LIST A B1))
		      ((MATCH (LIST A B) WITH ((QUOTE ANY-DOMAIN)
					       ((QUOTE ORDERED-PAIR)
						B1←&
						B2←&)))
			(SETQ A1 (LIST (QUOTE ORDERED-PAIR)
				       B2 B1))
			(LIST A1 B))
		      ([MATCH (LIST A B) WITH (((QUOTE ORDERED-PAIR)
						A1←&
						A2←&)
					       ((QUOTE ORDERED-PAIR)
						B1←&@[LAMBDA (Z)
						  (ISA A2 Z]
						B2←&@(LAMBDA (Z)
						  (ISA A1 Z]
			(LIST A (LIST (QUOTE ORDERED-PAIR)
				      A2 A1)))
		      ([MATCH (LIST A B) WITH (((QUOTE ORDERED-PAIR)
						A1←&
						A2←&)
					       ((QUOTE ORDERED-PAIR)
						B1←&@[LAMBDA (Z)
						  (SETQ C1 (MORE-SPECIFIC Z A2]
						B2←&@(LAMBDA (Z)
						  (SETQ C2 (MORE-SPECIFIC Z A1]
			(LIST (LIST (QUOTE ORDERED-PAIR)
				    C2 C1)
			      (LIST (QUOTE ORDERED-PAIR)
				    C1 C2]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE REVERSE-ORDERED-PAIR)
				       T)
			      GTEMP])

(SET-DELETE
  [LAMBDA (P A AA)
    (SELECTQ P
	     (UP (QUOTE DELETION))
	     [C-INVERT (SET A (CONS (QUOTE SET-INSERT)
				    (MAPCAR (CDR (EVAL A))
					    (FUNCTION (LAMBDA (A2 A22)
						(COND
						  ((NLISTP A2)
						    A2)
						  [(CAR (ERSETQ (AND (SETQ A22 (CAR A2))
								     (OR (MEMB A22 FACETS)
									 (GETHASH A22 HCON))
								     (APPLY* A22 (QUOTE C-INVERT)
									     (QUOTE A2]
						  (A2]
	     [C-ALGS (ANY-OF (COND
			       (AA (DREMOVE A AA))
			       (T (PRIN1 " WARNING: AA IS THE NON-SET NIL, SO NO MEANINGFUL SET-DELETION FROM IT ")
				  (TERPRI)
				  (TERPRI]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE SET-DELETE)
				       T)
			      GTEMP])

(SET-INSERT
  [LAMBDA (P A AA)
    (SELECTQ P
	     (UP (QUOTE INSERTION))
	     [C-INVERT (SET A (CONS (QUOTE SET-DELETE)
				    (MAPCAR (CDR (EVAL A))
					    (FUNCTION (LAMBDA (A2)
						(COND
						  ((NLISTP A2)
						    A2)
						  [(CAR (ERSETQ (APPLY* (CAR A2)
									(QUOTE C-INVERT)
									(QUOTE A2]
						  (A2]
	     [C-ALGS (ANY-OF (COND
			       [(CDR AA)
				 (RPLACD AA (CONS A (CDR AA]
			       ((LISTP AA)
				 (NCONC1 AA A))
			       (T (PRIN1 " WARNING: CAN'T SET-INSERT INTO THE NON-SET NIL ")
				  (TERPRI)
				  (PRINT (CONS A AA))
				  (TERPRI]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE SET-INSERT)
				       T)
			      GTEMP])

(SET-STRUCTURE
  [LAMBDA (P ETYPE)
    (SELECTQ P
	     (UP (QUOTE STRUCTURE))
	     (WORTH (LIST 800 800 700 500 400 990 900 1000 800 800 1000))
	     [C-DEFNS (ANY-OF [PROGN (QUOTE RECURSIVE)
				     (OR (EQ A (LIST (QUOTE CLASS)))
					 (SET-STRUCTURE (QUOTE C-DEFNS)
							(SET-DELETE (QUOTE C-ALGS)
								    (NON-MEMBER (QUOTE C-ALGS)
										A)
								    A]
			      [PROGN (QUOTE NON-RECURSIVE)
				     (AND (LISTP A)
					  (EQ (CAR A)
					      (QUOTE CLASS]
			      (PROGN (QUOTE IMPLICIT)
				     (AND (MEMB (QUOTE ACTIVE)
						(ALL-UP A))
					  (LIST (QUOTE CLASS)
						(QUOTE ALL)
						(QUOTE X)
						(QUOTE SUCHTHAT)
						(LIST (QUOTE APPLY*)
						      (LIST (QUOTE APPLY*)
							    A
							    (QUOTE VIEWS)
							    (QUOTE PREDICATE))
						      (QUOTE X]
	     [C-INTUS (ANY-OF (CONS (QUOTE CLASS)
				    (SUBSET USERNAMES (QUOTE RAND-PRED)))
			      (CONS (QUOTE CLASS)
				    (RECTANGLE (RAND -10 10)
					       (RAND -10 10)
					       (RAND -10 10)
					       (RAND -10 10]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE SET-STRUCTURE)
				       T)
			      GTEMP])

(SOME-MEMBER
  [LAMBDA (P A)
    (SELECTQ P
	     (C-INVERT (RPLACA (EVAL A)
			       (QUOTE NON-MEMBER)))
	     (C-ALGS (ANY-OF (CADR A)))
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE SOME-MEMBER)
				       T)
			      GTEMP])

(STRUCTURE
  [LAMBDA (P ETYPE)
    (SELECTQ P
	     (UP (QUOTE OBJECT))
	     (EXS (STRUCTURE-EXS CS-P))
	     [C-INT (IPLUS (CMATCH (LIST (QUOTE EFFIC)
					 (QUOTE OF)
					 $CS-B
					 (QUOTE IS)←CEFF)
				   (IQUO (ITIMES CEFF 9)
					 10))
			   (CMATCH (LIST (LIST ←QUAN
					       (QUOTE X)
					       (QUOTE IN)
					       $CS-B)
					 (LIST ←P
					       (QUOTE X)))
				   (IQUO (ITIMES (APPLY* QUAN (QUOTE C-INT))
						 (APPLY* P (QUOTE C-INT)))
					 1001]
	     (AND (SETQ GTEMP (GETHASH P PREC))
		  (CDR (SFIND (EXPR-IN (QUOTE STRUCTURE)
				       T)
			      GTEMP])

(STRUCTURE-EXS
  [LAMBDA (P ETYPE)
    (SELECTQ
      P
      [C-FILLIN2
	(APPEND
	  [MAPCONC (REMOVE CS-B (KINDS-OF (QUOTE STRUCTURE)))
		   (FUNCTION (LAMBDA (S)
		       (MAPCAR (APPLY* S (QUOTE EXS))
			       (FUNCTION (LAMBDA (EX)
				   (CONVERT (QUOTE C-ALGS)
					    EX S CS-B]
	  (PROG1 NIL (NCONC1 (CADR (APPLY* CS-B (QUOTE SUGGESTS)))
			     (LIST (SUB1 CS-INT)
				   (QUOTE CREATEB)
				   (LIST (QUOTE PROGN)
					 (LIST (QUOTE SETQ)
					       (QUOTE GSIM)
					       CS-B)
					 (LIST (QUOTE SETQ)
					       (QUOTE GDIF)
					       (LIST [LIST (QUOTE DEFNS)
							   (LIST (QUOTE CONJOIN)
								 (LIST (QUOTE SOMEOF)
								       (LIST (QUOTE MAPCONC)
									     (LIST (QUOTE ALL-UP)
										   CS-B)
									     (LIST (QUOTE FUNCTION)
										   (LIST (QUOTE LAMBDA)
											 (LIST (QUOTE B2))
											 (LIST (QUOTE APPLY*)
											       (QUOTE B2)
											       (QUOTE INT]
						     (LIST (QUOTE WORTH)
							   (QUOTE PURELY-TEMPORARY]
      (AND (SETQ GTEMP (GETHASH P PREC))
	   (CDR (SFIND (EXPR-IN (QUOTE STRUCTURE-EXS)
				T)
		       GTEMP])
)
  (RPAQQ CONCEPTS
	 (ACTIVE ANYB ANYB-ANYP ANYB-EXS COMPOSE COMPOSE-D-R CONVERT DELETION INSERTION MAP-STRUCTURE NON-MEMBER OBJECT 
		 OPERATION RELATION REVERSE-ORDERED-PAIR SET-DELETE SET-INSERT SET-STRUCTURE SOME-MEMBER STRUCTURE 
		 STRUCTURE-EXS))
  (RPAQQ FACETS
	 (ANAS C-CHECK1 C-CHECK2 C-DEFNS C-FILLIN1 C-FILLIN2 C-INT C-INTUS C-RESTRUC C-SUGGESTS CHECK1 CHECK2 DEFNS EXS 
	       EXS-BDY EXS-NOT EXS-NOT-BDY FILLIN1 FILLIN2 GENLS INT INTUS OPS RESTRUC SPECS SUGGESTS UP WORTH FILLIN 
	       CHECK C-FILLIN C-CHECK C-D-R D-R))
  (RPAQQ STRAT
	 (ANYB-ANAS ANYB-C-CHECK1 ANYB-C-CHECK2 ANYB-C-DEFNS ANYB-C-FILLIN1 ANYB-C-FILLIN2 ANYB-C-INT ANYB-C-INTUS 
		    ANYB-C-RESTRUC ANYB-C-SUGGESTS ANYB-CHECK1 ANYB-CHECK2 ANYB-DEFNS ANYB-EXS ANYB-EXS-BDY 
		    ANYB-EXS-NOT ANYB-EXS-NOT-BDY ANYB-FILLIN1 ANYB-FILLIN2 ANYB-GENLS ANYB-INT ANYB-INTUS ANYB-OPS 
		    ANYB-RESTRUC ANYB-SPECS ANYB-SUGGESTS ANYB-UP ANYB-WORTH ANYB-FILLIN ANYB-CHECK ANYB-C-FILLIN 
		    ANYB-C-CHECK))
(DEFLIST(QUOTE(
))(QUOTE FROM-FILE))
  (INIT-C]
STOP